In-system programming - PDFSEARCH.IO - Document Search Engine

In-system programming
Results: 1455

#	Item
681	Certified In-lined Reference Monitoring on .NET∗ Kevin W. Hamlen Cornell University Greg Morrisett Harvard University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2005-11-12 14:40:18 Type theory Data types Common Intermediate Language Type system Type safety C Sharp .NET Framework Objective-C Pointer Computing Software engineering Computer programming
682	Statistical Scalability Analysis of Communication Operations in Distributed Applications Jeffrey S. Vetter Michael O. McCracken Add to Reading List Source URL: mpip.sourceforge.net Language: English - Date: 2008-04-23 17:06:44 Application programming interfaces System software Message Passing Interface Concurrency control Scalability Benchmark Lock Distributed computing 1E Concurrent computing Computing Parallel computing
683	The SUNRISE Gate 1. Architecture The SUNRISE GATE is the interface through which users can run their experiments, accessing in a unified way the heterogeneous resources offered by the testbeds of the SUNRISE federation. Add to Reading List Source URL: fp7-sunrise.eu Language: English - Date: 2014-09-15 08:10:36 Application programming interfaces Computer network security OpenVPN Server Testbed Operating system X Window System Plug-in Software System software Computing
684	Programming in America in the 1950s -- Some Personal Impressions Add to Reading List Source URL: www.softwarepreservation.org Language: English - Date: 2009-05-10 11:11:24 Procedural programming languages Laning and Zierler system Fortran J. Halcombe Laning Speedcoding Compiler John Backus Whirlwind ALGOL Computing Software engineering Computer programming
685	Programming in America in the 1950s -- Some Personal Impressions Add to Reading List Source URL: www.softwarepreservation.org Language: English - Date: 2009-05-10 11:11:24 Procedural programming languages Laning and Zierler system Fortran J. Halcombe Laning Speedcoding Compiler John Backus Whirlwind ALGOL Computing Software engineering Computer programming
686	Formal Methods in System Design, 26, 183–196, 2005 c 2005 Springer Science + Business Media, Inc. Manufactured in The Netherlands. Automated Analysis of Fault-Tolerance in Distributed Systems∗ Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2005-08-28 15:10:56 Inter-process communication Distributed computing Infinite loop Fault-tolerant computer systems Message passing Function Byzantine fault tolerance State machine replication Computing Computer programming Concurrent computing
687	Global Co-Operation in the New Millennium The 9th European Conference on Information Systems Bled, Slovenia, June 27-29, 2001 AN OBJECT ORIENTED ARCHITECTURE MODEL FOR INTERNATIONAL INFORMATION SYSTEMS? Add to Reading List Source URL: is2.lse.ac.uk Language: English - Date: 2001-05-31 05:52:12 Software design Object-oriented programming Systems theory ISO standards Database management systems Information systems Unified Modeling Language System Actor model Software engineering Computing Design
688	Important notes  Much of the work delivered in the ’old’ ICT scheme is still valuable and should be continued to be taught  Add to Reading List Source URL: slp.somerset.gov.uk Language: English - Date: 2014-01-16 05:56:21 Computer Abstraction Software Algorithm Programming language Information and communication technologies in education Binary numeral system Binary file Data type Computing Mathematics Numbers
689	Concurrency in the Go Programming Language Dan Callahan http://dancallahan.info The Plan Add to Reading List Source URL: dancallahan.info Language: English - Date: 2014-10-09 17:28:18 Cross-platform software Type theory Procedural programming languages Data types Go Scripting languages Type system Pike Fantom Computing Software engineering Computer programming
690	Taming Wildcards in Java’s Type System ∗ Ross Tate Alan Leung Sorin Lerner Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2012-07-25 17:13:35 Object-oriented programming Computing Programming language theory Data types Java programming language Subtype polymorphism Type system Covariance and contravariance Inheritance Software engineering Type theory Polymorphism

UPDATE